Logging for Uncoordinated Checkpointing Protocols Achour

A message is in-transit with respect to a global state if its sending is recorded in this global state, while its receipt is not. Checkpointing algorithms have to log such in-transit messages in order to restore the state of channels when a computation has to be resumed from a consistent global state after a failure has occurred. Coordinated checkpointing algorithms log those in-transit messages exactly on stable storage. Because of their lack of synchronization, uncoordinated checkpointing algorithms conservatively log more messages. This paper presents an uncoordinated checkpointing protocol that logs all in-transit messages and the smallest possible number of non in-transit messages. As a consequence, the protocol saves stable storage space and enables quicker recoveries. An appropriate tracking of message causal dependencies constitutes the core of the protocol. Enregistrement s electif de messages lors d'une d eenition non coordonn ee de points de contr^ ole R esum e : Les algorithmes de d eenition de points de reprise n ecessitent l'enregistrement de certains messages dits en transit aan de pouvoir restaurer l' etat des canaux lors de recouvrements arri eres. Un message est en transit si son emission est enregistr ee dans l' etat global de l'application alors que sa r eception de l'est pas. Les algorithmes coordonn es enregistrent exactement en m emoire stable les messages en transit relativement a l' etat global calcul e alors que les algorithmes non coordonn es enregistrent la totalit e des messages. Cet article, d'une part, d eenit une classe de messages qui ne peuvent ^ etre en transit dans aucun etat global coh erent et d'autre part, propose un algorithme qui n'enregistre pas ce type de messages et permet ainsi de r eduire l'occupation de la m emoire stable.